Foreword: programming language interference and dependence
نویسندگان
چکیده
منابع مشابه
Foreword: programming language interference and dependence
Interference and dependence are closely related concepts, the first being the observable phenomenon connected to the second. Interference essentially means that behavior of some parts of a dynamic system may influence the behavior of other parts of the same system. Dependence instead specifies the relation between the semantics of sub-components of a dynamic system. Discovering, measuring and c...
متن کاملForeword: special issue on mathematical programming in biology and medicine
In recent years, mathematical programming and optimization techniques have been increasingly applied to various fields of biological and medical sciences, and in many cases have become indispensable tools. This volume contains a collection of five papers in this area. In this foreword, we aim to provide a little context for the applications described in these papers and, in particular, their us...
متن کاملA Foreword to 'Fundamental Concepts in Programming Languages'
Christopher Strachey’s paper on Fundamental Concepts in Programming Languages is being published here for the first time. Written in the autumn of 1967, it is based on the lectures given by Strachey at an International School in Computer Programming, held in Copenhagen in August 1967. Strachey intended the paper to be published in the proceedings of the School—but the proceedings never material...
متن کاملForeword: for Special Issue on Semide nite Programming
Semideenite programming (denoted SDP) is an extension of linear programming (LP), with vector variables replaced by matrix variables and nonnegativity elementwise replaced by positive semideeniteness. Let us express a (primal) SDP as min C X s.t. AX = b X 0; where: C; X are in S n , the space of symmetric n n matrices; the inner product C X = trace CX; denotes nonnegativity in the LL owner part...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2011
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s0960129511000168